A Judgmental Deconstruction of Modal Logic
نویسنده
چکیده
The modalities and© of necessary and lax truth described by Pfenning and Davies can be seen to arise from the same pair of adjoint logical operators F and U , which pass in both directions between two judgments of differing strength. This may be generalized to a logic with many such adjunctions, across judgments subject to different substructral disciplines, allowing explanation of possibility 3, linear logic’s modality !, and intuitionistic labelled deduction as well.
منابع مشابه
Epistemic possibilities for constructive reasoning with open assumptions
For the verificationist principle of truth underlying intuitionistic logic and constructivism, semantic truth conditions for propositions are substituted by syntactically defined assertion conditions for judgments ([2]). Where the standard interpretation of such notion of truth is given in a language for arithmetic, far less clear is how to interpret it for the representation of rational knowle...
متن کاملA non-judgmental reconstruction of drunken logic
We investigate the extension of previous work by Krishnaswami et al. in [6] on Handwaving Logic, a logic that can be effectively modeled by Fairtlough and Mendler’s Lax Logic [4], towards trying to achieve a reasonable formalization of ”drunken logic.” More advanced formalizations of drunken logic fail to be modeled effectively by lax logic, and we argue that much more study deserves to be paid...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملA Modal Deconstruction of Access Control Logics
We present a translation from a logic of access control with a “says” operator to the classical modal logic S4. We prove that the translation is sound and complete. We also show that it extends to logics with boolean combinations of principals and with a “speaks for” relation. While a straightforward definition of this relation requires second-order quantifiers, we use our translation for obtai...
متن کاملA Modal Language for Effects
Building on a judgmental formulation of lax logic, we propose a modal language which can be used as a framework for practical programming languages with effects. Its characteristic feature is a syntactic distinction between terms and expressions, where terms denote values and expressions denote computations. We distinguish between control effects and world effects, and allow control effects onl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009